An iterator is a construct that can be advanced via Advance_ until the iterator _is exhausted. Subclasses like reader and writer provide the necessary additional methods for reading and writing data, respectively, at the current position.